Substitution principle : a variable of a given type may be assigned a value of any subtype of that type , and a method with a parameter of a given type may be invoked with an argument of any subtype of that type 大概的意思是说某种类型的变量可以被该类型的任何子类所赋值,一个方法中的参数也可以被该参数的任何子类进行调用。